The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suiteThis second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suiteDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Lire la suiteComponent-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...
Lire la suiteVolume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Lire la suiteThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suiteThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suitePrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suiteThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Lire la suite